perm filename BUG2.GF[MF,DEK] blob
sn#754269 filedate 1984-05-10 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ εRp_Lπ#~
εoλα≤NV`2⎇ ≡←xX∂(z@#< G⊂:[ ←(
z␈v= α@(≡Pλ ∂λα≤NV`2⎇ ¬P≡←xX∂(∀∀z@#< G⊂:[ ←(≡≡z␈v= π@x≡Pλ ∂λα≤NV`2⎇
↓ ≡←xX∂(((z@#< G⊂:[ ←(22z␈v= @↓H≡Pλ ∂λα≤NV`2⎇ ∂(≡←xX∂(<
z@#< G⊂:[ ←(z␈v= ∂(≡←xX∂λα≤NV`2⎇ ≡P∂(<
z@< G⊂:[ ←(z@⊗@= ∂(≡PZ∂λα≤NV`2⎇ ≡Pλα∂(<
z@ @< G⊂:[ ←(z@#= ∂(≡Pλ ∂λαλεSλ6= ↓h␈l≡PYα|␈λαλεSλ9= β ∀ ↑PZ⎇β∨λ↓HεSλz@¬⊃_u⎇ ≡⊂ ⊂
&&`z@βk`d= β ⊗X}⊂ ⊂
&'⊂z@ε6Xπ= β8i9↑⊂_⊂
&/(
">Xz@ε`∩< B~LmO(
G∂@z@↓⊂8x| B~Ln/(⊃%∂hz@αY]< 2~L}P≡l∨/(βiE(xA∧β(~≠≡P<≡J∂(␈⎇←⎇`xA∧β(~≤↑P?%?␈(β99Hx@dβ(~= πXD }P↓→7/λαλεS(6= x!6>P¬:f␈λαλεS(9= n4↑P∞∧␈?λ↓HεS(z@↔xk= ↓_?f>⊂ ⊂
&f`z@≠$x= βX3∨≡⊂ ⊂
&g⊂z@→≤x= βX3∨≡⊂_⊂
&o(4@∂z@π60>< B~MmO(6U8⊂z@⊗X8_< B~Mn/(2*epz@⊗'@g| 2~M}Pi≡∂(-xA∧β(≤≠≡Pm*p/(0sxA∧β(≤≤↑PdUKo(␈␈O xx@dβ(≤=
⊂<≡P∂λε≥
↔ 6→$εp7\MVλ6⊂`∨␈x␈␈`π@6←␈x␈⎇`- @)0∧⊂∀⊂0KβH Xε%b4JDS⊃0 %")` ⊂∩Q⊂N¬H (λgαdJD3A0 %"→` ⊂∩aN¬H 0λ'αdK∧∪A0 %B ` ⊂∩aN¬H 0λ'αdK∧∪A0 %B `
P∩qNEλ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αDKD∪A %b `
⊂∩qN¬λ 8λ'αI`
'αI`
⊂∩`λN¬λ 0gαDK3A( %)`
P∩@⊂N¬( ↓'αTI@sA( $`9`
P∩ N¬( ⊂α'αdH↓3A0 #`i` ⊂⊃p0NE(λpβgαdFα∪A0 "a→` ⊂⊃ PNEHλ@¬gαdCC∪A8 !!Yh ⊂⊂0xN¬hλλλ'αt@∧3Q8 ∨"9` ⊂∂1 NEhπH 'β∧;EsQ@ ≥β→` P∞!PNF(εx∞'β$6πSQP ~$ `∞⊂ R⊂NGλε⊂∩'#T/ SQp ⊗%→`⊂⊂
RPNHH∧x⊗'$D$KSR0 ⊂F→h∃∞εYh_JG)h $STH'(λpO⊂⊃)h "∪dB'(λ⊂O⊂∂ih ≡sd;gHπ_O⊂
yp ~sd3ghελO⊂ Yx ∃st(hλ∧HP⊂λ~λ≠hE:( Q≡⊂ 9≥-F(z@=?{≡P∂(FxA∞'(6→>P∀∀∂(␈lz@¬P= ⊃@≡⊂ 9≥-F(z@
λ =?{≡P((∂(FxA∞'(6→>P<<∂(␈lz@∂λp= ⊃@≡⊂ 9≥-F(z@∀⊂@=?{≡PPP∂(FxA∞'(6→>Pdd∂(␈lz@→_⊂= ⊃@≡⊂ 9≥-F(z@≡P=?{≡Px∀∂(FxA∞'(6→>P∂(␈lz@≡P=?{≡⊂ 9≥-F(z@= ≡Px∀∂(xA∞'(6→>P∂(-z@≡P= ≡⊂ 9≥-F(z@= ⊂ ≡Px∀∂(AxA∞'(6→>P∂(Fz@≡P= ⊃@≡⊂ ⊂
&⊗`z@β←xX= ov≡⊂ ⊂
&↔⊂z@λ↔_P= 8⊂
≡⊂_⊂
&∨( w~@z@⊗@< B~LMO(πechz@ε1(*| B~LN/(⊂λQ z@π∞Py| 2~L↑P↔n5∂(
@α xA∧β(→[≡P≠qx∂(α
βHxA∧β(→\↑P'kE␈(π d@x@dβ(→⎇ ∧_]=}P ∃h∂λαλεS 6= πXM0}←x{?{OλαλεS 9= λ_q@↑P
z↔∂λ↓HεS z@∂{pq= 0:∩↑⊂ ⊂
&V`z@_*(@⎇ X≥C↑⊂ ⊂
&W⊂z@⊗λ4= αλ9λ≡⊂_⊂
&←(.*7(z@αe0K| B~MMO(7⊂∂z@π60>< B~MN/(1p∂z@π60>< 2~M↑Pi≡∂(∞lg`xA∧β(≠[≡PnB∩?(->≡xA∧β(≠\↑Pc>)←(,Aaxx@dβ(≠⎇
⊂<≡PZ∂λαλεS@6=
h∧$}P|<∂λαλεS@9= 0|S>←x␈βC␈λ↓HεS@z@~ x= ≡⊂P:~.F`2H &x6→λ0∧0β`≠Ox␈␈}p⊗`π`_Kα( P↓%adJα∩a #Ai0
⊂⊃↓ KGhλ0 &∧4C¬SB_ !Bi`⊃P⊂a0Nλhλ0 '∧4C¬SB_ !Bi`⊃P⊂a0Nλhλ0 '∧4C¬3B_ !BY`⊃P⊂a(Nλhλ0
g∧4CE∪B_ !bIh⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αI`⊂P⊃↓ Nλ(λ@
'∧∀D¬∪Bλ "αY`⊂P⊃↓(Nλ(λ@
g∧∀D¬3Bλ "αY`⊂P⊃↓(Nλ(λ@
g∧∀D¬3Bλ "αY`⊂P⊂pλNλ(λ8g∧∀C@3Bλ !`→`⊂P⊂pλNλ(λ0↓'∧∀CSBλ ! 9`⊃⊂⊂@_NλHλ_α'∧$AA∪B⊂ @Y`⊃P⊂0Nλhπxβg∧4?α∪R_ ∨↓→`⊃P∂0PN λπ@ε'∧D;C3R ≥!i`∩⊂∞1N (πλλg$D7DsB( ≠αY`∪⊂
⊃8NIHε8 '∧t2εSB@ _#Ih∀⊂ apN
H¬P⊂'%4*HsR` ∀$Y`↔⊂ B@NLλ∧(⊗'ε3p_'&s(~''R8≥g( pN⊂∪ih '3TN'( XNP∪)h &3TKg( NP∩)p #sTF'(λPO⊂⊂ih !∪d@'Hπ`NP∂→p ≥3d8ghε`O⊂
p _st/'h¬@OP
* ∩T∧!('
⊂⊗)#$ xA∞'(6→>P∂(␈lz@= ⊃@≡⊂ 9≥-F(z@¬@X=?{≡P⊗⊗∂(FxA∞'(6→>P,,∂(␈lz@ λ0= ⊃@≡⊂ 9≥-F(z@⊂@⊂λ=?{≡PBB∂(FxA∞'(6→>PXX∂(␈lz@⊗⊂`= ⊃@≡⊂ 9≥-F(z@≠@_8=?{≡Pnn∂(FxA∞'(6→>Pλ∧⊗∂(␈lz@!X= ⊃@≡⊂ 9≥-F(z@=?{≡Pλ∧⊗∂(␈lxA∞'(6→>P∂(z@!X= ≡⊂ 9≥-F(z@= p≡Pλ∧⊗∂(/@xA∞'(6→>P∂(Az@!X= ⊂ ≡⊂ 9≥-F(z@= ⊃@≡Pλ∧⊗∂(FxA∧β(_[≡P⊂?u∂(.[⎇@xA∧β(_\↑P"≤s∂(0$α@x@dβ(_⎇ β⊂\h≡P←∂λαλεS⊂6= α⊂↔
>P≠¬*␈λαλεS⊂9= ∧_"C≡P≥z↑←λ↓HεS⊂z@ε+HP= βH ↑⊂ ⊂
&6`z@πP8↑= @X∞>⊂ ⊂
&7⊂z@
Np∃⎇ ↓`←∩≡⊂_⊂
&?(∩∨/_z@α+8 < B~M
O(!s,Xz␈}gxm< B~M∞/(#|0Pz@αV@[< 2~M≡PEo]/(↓>D@xA∧β(~[≡Pj<K␈(α{n(xA∧β(~\↑Pa∪Ho(λB←8x@dβ(~⎇ XP∀}P >MoλαλεS06= ∂λ@B≡P∨,i/λαλεS09=
`@B≡P∨,i/λ↓HεS0z@≤pλ∧= βpYR↑⊂ ⊂
&v`z@≡ @U⎇ xxx≡⊂ ⊂
&w⊂z@≠?H2⎇ `ππ}⊂_⊂
&␈(9`⊂@z@↔`< B~N
O(<A
Xz@∨λp< B~N∞/(6␈⊗(z␈␈`p∂| 2~N≡Ps@!∂(xBnFH:≠ R1≠mF <⊂`β≡@λ <?␈x␈⎇@0⊂ 90∧P∃@⊂KCH
0∧%BDPβRaP &BI8∂P∪↓0Lλh @ '∧4L¬SB_ &αi`⊃P∪↓0Nλh @ '∧4L¬SB_ &αi`⊃P∪↓0Nλh @ '∧4L¬3B_ &αY`⊃P∪↓(Nλh H
'∧4LE∪B_ &"Ih⊃⊂∪⊃ Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BI`⊂P∪! Nλ( P
'∧∀M¬∪Bλ &BY`⊂P∪!(Nλ( P
g∧∀M¬3Bλ &BY`⊂P∪!(Nλ(
pg∧∀L@3Bλ & →`⊂P∪⊂λNλ( Hg∧∀L@3Bλ & →`⊃⊂∩p⊂NλH 8↓'∧$KsB⊂ %@9`⊃⊂∩P NλH αg∧4IA3R⊂ $@i`⊃⊂∩⊂8Nλhλx∧'∧4Gα3B_ #!)h⊃P⊃0XNλhλHεg∧DCCSB !" `∩P⊂1λNI(λ g∧T?E∪B0 ∨αih∪⊂∂⊃@N hπ0
'$t9G∪B@ ≤βih∀⊂
RN
HεH⊃'%$3 ∪B` _$yh⊗P RHNKh¬8⊗'ε∀(L∪S_ ∩FIh≠⊂λ#@NNFspN⊂λ2_ ∩3TW'(
hNP∃Ih *STT'(
(NP∀9h (3dO'( XNP∪→p %3TI'HλxO⊂⊃9p !sTB'HλOP∂9p ≥sd9ghεhO⊂
→x _t∧.'h¬(P⊂ Zλ ⊃∀#HR
vp"< G⊂:[ ←(z␈{= ≡PF∂λα≤NV`2⎇ ↓ ∀≡←xl∂(¬¬z@⊃@< G⊂:[ ←(
z␈{= α@(≡PF∂λα≤NV`2⎇ β`<≡←xl∂(∂∂z@⊃@< G⊂:[ ←(∀∀z␈{= ¬P≡PF∂λα≤NV`2⎇ ε ≡←xl∂(→z@⊃@< G⊂:[ ←(z␈{= ε ≡←xl∂λα≤NV`2⎇ ≡P∂(→z@< G⊂:[ ←(z@ = ε ≡P-∂λα≤NV`2⎇ ≡PA∂(→z@⊂ < G⊂:[ ←(z@⊃@= ε ≡PF∂λαλεSλ6= α0e<>P@A∨OλαλεSλ9= βh~C}PA>`Oλ↓HεSλz@ε = λ⊂≡⊂ ⊂
&&`z@¬≠x}⎇ ∧λ≡⊂ ⊂
&'⊂z@π$↓⎇ ∧λ≡⊂_⊂
&/( @z@λ⊂< B~LmO( X+Pz␈␈x⊂.< B~Ln/(∂'T8z@πhR< 2~L}P→∂(xC∞FH:≠ R7≠n&h0[λ0β→@∧pπ@⊂ π(H∧∩q(NDsA_NDSA⊂N∧SA⊂N∧3AλND∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪AN∧∪1⊂N∧SA⊂N∧SA⊂N∧SA_ME∪A("< G⊂:[ ←(z␈{= ≡PF∂λα≤NV`2⎇ ↓ ∀≡←xl∂(¬¬z@⊃@< G⊂:[ ←(
z␈{= α@(≡PF∂λα≤NV`2⎇ β`<≡←xl∂(∂∂z@⊃@< G⊂:[ ←(∀∀z␈{= ¬P≡PF∂λα≤NV`2⎇ ε ≡←xl∂(→z@⊃@< G⊂:[ ←(z␈{= ε ≡←xl∂λα≤NV`2⎇ ≡P∂(→z@< G⊂:[ ←(z@ = ε ≡P-∂λα≤NV`2⎇ ≡PA∂(→z@⊂ < G⊂:[ ←(z@⊃@= ε ≡PF∂λαλεSλ6= αλ`↑P@≠L∂λαλεSλ9= ∧_w∨↑PAd4∂λ↓HεSλz@ε = λ⊂≡⊂ ⊂
&&`z@∧L`d= ∧λ≡⊂ ⊂
&'⊂z@πs_≤= ∧λ≡⊂_⊂
&/( @z@λ⊂< B~LmO(λE`z␈␈s0⎇< B~Ln/(⊂␈: z@ Hβ< 2~L}P→∂(xBNFH:≠ R1≠mF !@↓_,@⊂!␈␈␈x␈@A@!@2⊂PH¬2⊃xNGSQ`NFsAXNFSAPNεSAPNεSAPNεSAPNεSAHNε3AHNF∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪1PNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSAPNεSQ@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪A@Nε∪AHMFSAPNεSAPNεSAPNεSAPNεSAPNεSAXMG∪AhMGs1XMAHOλα≤NV`2⎇ ≡←xl∂(z@⊃@< G⊂:[ ←(¬@¬@z␈{= ↓0⊗≡PF∂λα≤NV`2⎇ α`,≡←xl∂( z@⊃@< G⊂:[ ←(⊂@⊂@z␈{= ∧⊂B≡PF∂λα≤NV`2⎇ ¬@X≡←xl∂(⊗⊗z@⊃@< G⊂:[ ←(≠@z␈{= εp≡PF∂λα≤NV`2⎇ ≡←xl∂(≠@z␈{< G⊂:[ ←(z@= εp≡P∂λα≤NV`2⎇ ≡P/@∂(≠@z@ p< G⊂:[ ←(z@⊂ = εp≡PA∂λα≤NV`2⎇ ≡PF∂(≠@z@⊃@< B~L-O( "_⊂z@⊂εp0< B~L./(∩≥gpz@⊂9λP< 2~L>P≠@∂( @xA∧β(→≠≡P∀s→∂(⊂ xA∧β(→≤↑P" g∂(⊂ x@dβ(→= β8≡P @∂λαλεS_6= α(α↔≡←x␈M←/λαλεS_9= ∧@⎇i≡P2 oλ↓HεS_z@εp= ≡⊂X:~.F`2H &x6→∂∧_αc(α(∧@␈␈␈␈xλ_∧@d!)
d#yh∂'#Ih
gβ9h
'β)`
'β)`
'β)`
'β)`
'β→` gβ→h 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` &c)`
'β)`
'β)`
'β)`
'β)`
'β)`
'β)`
'β)`
'β)`
'β)`
'# ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β ` 'β→X
'β)`
'β)`
'β)`
'β)`
'β)`
'β9X∞'βYX∂fc9Xβ⊃≡⊂ 9≥-F(z@=?⎇@≡P∂(#xA∞'(6→>P
∂(␈vz@α@(= λ`≡⊂ 9≥-F(z@¬P=?⎇@≡P∀∀∂(#xA∞'(6→>P≡≡∂(␈vz@π@x= λ`≡⊂ 9≥-F(z@
λ =?⎇@≡P((∂(#xA∞'(6→>P22∂(␈vz@ @λH= λ`≡⊂ 9≥-F(z@∂(=?⎇@≡P<
∂(#xA∞'(6→>P∂(␈vz@∂(=?⎇@≡⊂ 9≥-F(z@= ≡P<
∂(xA∞'(6→>P∂(⊗@z@∂(= ¬P≡⊂ 9≥-F(z@= λ⊂≡P<
∂( @xA∞'(6→>P∂(#z@∂(= λ`≡⊂ ⊂
&⊗`z@↓oxl= ¬Hα⎇≡⊂ ⊂
&↔⊂z@β! ⎇ ¬P⎇β>⊂_⊂
&∨(¬⊃∨(z@ < B~LMO(βkf z@β!0Y< B~LN/(ε6X8z@β>H9| 2~L↑P
">←(ε`↓⊂xA∧β(→[≡P
G∂O(↓⊂?@xA∧β(→\↑P⊃%∂␈(αY¬hx@dβ(→⎇ ↓pl∨>PβiE/λαλεS 6= β`≡J>←x⎇←⎇oλαλεS 9= βx%@≡Pβ99←λ↓HεS z@π\
= λ→7>⊂ ⊂
&V`z@ zλ6⎇ (:g≡⊂ ⊂
&W⊂z@ εp4⎇ p∧␈↑⊂_⊂
&←(↔}Xz@↓≠xf| B~MMO(≠$π@z@β[_∨< B~MN/(→≤π@z@β[_∨< 2~M↑P4@∂∂(π63pxA∧β(≠[≡P6U8∨(⊗X9@xA∧β(≠\↑P2*e␈(⊗'F@x@dβ(≠⎇ εH≡≡P-∂λαλεS@6= εh*p>P0s∂λαλεS@9= ε UK}←x␈O
∂λ↓HεS@z@
⊂<= ≡⊂`:~.F`2H
fx9≠,⊗`!@↓H @π@6?␈␈x⎇@- @h¬⊂ea∧&↓s⊂X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓4%B∪@X ∩a `¬P 0@Nαh∧X∧'↓9`¬g↓9`¬P λNαh∧Pg↓4%3@X ∩ )h¬⊂ ⊂⊂Nαh∧8↓g↓4#↓∪@X ⊃ Y`ε⊂λ00NBh∧⊂βg↓Cx∧g!3p¬'↓CXε'!CHεg↓S0πg!S_λg↓rx g"αP
g"" g"aP
g(∧HNPλip ⊂sT 'GIh≤gFYx_'E9x∩(βJ⊂∧Q≡⊂ 9≥-F(z@=?⎇@≡P∂(#xA∞'(6→>P
∂(␈vz@α@(= λ`≡⊂ 9≥-F(z@¬P=?⎇@≡P∀∀∂(#xA∞'(6→>P≡≡∂(␈vz@π@x= λ`≡⊂ 9≥-F(z@
λ =?⎇@≡P((∂(#xA∞'(6→>P22∂(␈vz@ @λH= λ`≡⊂ 9≥-F(z@∂(=?⎇@≡P<
∂(#xA∞'(6→>P∂(␈vz@∂(=?⎇@≡⊂ 9≥-F(z@= ≡P<
∂(xA∞'(6→>P∂(⊗@z@∂(= ¬P≡⊂ 9≥-F(z@= λ⊂≡P<
∂( @xA∞'(6→>P∂(#z@∂(= λ`≡⊂ ⊂
&⊗`z@↓oxl= ¬@7{≡⊂ ⊂
&↔⊂z@∧ Hh= ¬XH¬≡⊂_⊂
&∨(¬{M z@ < B~LMO(βrqxz@β_PU| B~LN/(λ∧(Pz@βG(=< 2~L↑P w~O(ε`↓⊂xA∧β(→[≡P
x|∂(↓¬↓hxA∧β(→\↑P∪ub␈(βEr x@dβ(→⎇ αλn↑}P∧Jt∂λαλεS 6= βhfX↑←x⎇←⎇oλαλεS 9= ∧λx`>P¬= Oλ↓HεS z@π⎇x8⎇ _≥ >⊂ ⊂
&V`z@ ∃⊂`= (Na}⊂ ⊂
&W⊂z@ Z= ↓\D≡⊂_⊂
&←(↔∃≠Pz@↓2X%| B~MMO(≠Hπ@z@β[_∨< B~MN/(_xπ@z@β[_∨< 2~M↑P4@∂∂(π63pxA∧β(≠[≡P7! ∨(⊗←∂xA∧β(≠\↑P1←∀o(⊗ qx@dβ(≠⎇ εH≡≡P-∂λαλεS@6= εpB∩>P>≡∂λαλεS@9= ε_>)↑←x␈Ab∂λ↓HεS@z@
⊂<= ≡⊂P:~.F`2H &x6→λ0ε} ↓p
ox␈␈␈0 0∧λKAH∧X↓%AD"B∩a⊂ ⊂a)` ⊂λ0PN∧(∧ ¬'α∀"αSAλ ⊃↓)`λPλ@PN∧(∧ ¬'α∀"αSQ ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α∧"αSA ⊃↓)`λ⊂λ@PN∧λ∧ ¬'α `λ'α∧!@3A ⊂`→`λ⊂λ ⊂N∧λ∧⊂↓'α∀ sAλ∨A∪A⊂≡A3Qλ≡↓SA⊂≤B∪A⊂≤α3A_~BsQ_→β3A ↔CsQ(∃D3A8∪¬∪QH⊂¬sQ` G∪D'g(∧pNP Yh ∪∪T%'(∧8O⊂λIh ⊂3cpO∞Sc0OL∪rXOI4⊃`TB(Oλα≤NV`2⎇ ≡←xl∂(z@⊃@< G⊂:[ ←(¬@¬@z␈{= ↓0⊗≡PF∂λα≤NV`2⎇ α`,≡←xl∂( z@⊃@< G⊂:[ ←(⊂@⊂@z␈{= ∧⊂B≡PF∂λα≤NV`2⎇ ¬@X≡←xl∂(⊗⊗z@⊃@< G⊂:[ ←(≠@≠@z␈{= εpn≡PF∂λα≤NV`2⎇ λ ⊗≡←xl∂(!¬@z@⊃@< G⊂:[ ←(z␈{= λ ⊗≡←xl∂λα≤NV`2⎇ ≡P∂(!¬@z@< G⊂:[ ←(z@ p= λ ⊗≡P/@∂λα≤NV`2⎇ ≡PA∂(!¬@z@⊂ < G⊂:[ ←(z@⊃@= λ ⊗≡PF∂λαλεSλ6= ↓?u≡P.[⎇OλαλεSλ9= α⊂≤s≡P0$αOλ↓HεSλz@β∃`h= ¬x≡⊂ ⊂
&&`z@α⊃8
⎇ ↓X¬+≡⊂ ⊂
&'⊂z@∧~⊂C= ↓hz↑}⊂_⊂
&/(ε+Mz@βH | B~LmO(πP=pz@E@∞< B~Ln/(
Nq(z@↓ex⊃| 2~L}P∩∨/∨(α+9xxA∧β(~≠≡P!s,o(␈}g}hxA∧β(~≤↑P#|0←(αVEXx@dβ(~= ∧(o]>P↓>DOλαλεS(6= εP<L≡Pα{n?λαλεS(9= ελ∪I≡PλB←Oλ↓HεS(z@ ]∃= X>M}⊂ ⊂
&f`z@∂ B= ↓x,i>⊂ ⊂
&g⊂z@
dB= ↓x,i>⊂_⊂
&o(≤pλ z@βuHR| B~MmO(≡ E(z@ ␈@x< B~Mn/(≠?K⊂z@ `8λ< 2~M}P9`⊂O(↔`xA∧β(≤≠≡P<A
←(∨∂xA∧β(≤≤↑P6␈⊗/(␈␈`qx@dβ(≤= π_@!≡P∂λ¬]
↔ 6→$ε⊂7[ G@!@α=λ<?␈␈x⎇@/@∞↓H¬ ↓ea4'B∩aλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα∀&αsAλ ∪↓9`λP @XN∧(∧`¬gα→`λgα→`λgα∀%@3Aλ ∩`→`λP ⊂N∧H∧@↓g"∀#A∪Aλ ⊃@Y` ⊂λ08N∧H∧⊂∧'"#x¬'α3`ε'αCHπ'"C0λ'αc⊂ '"rh
g#"0 'βq`∞g(¬8NP
ih ∃3T)g(¬O⊂ Yh ∩Sd#g(∧ O⊂λ x≥gFix_(¬~λ⊂)α∀ |αHJπ@x␈␈␈x{`=@⊂@ ∨?H¬→ @w{⎇xow{⎇x